大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

0
索取号：
作者：Pol、 Jaco.、Weber、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [electronic resource] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers

0
索取号：
作者：Dan、 Asit.、Gittler、 Fr茅d茅ric.、Toumani、 Farouk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Cognitive Informatics and Cognitive Computing [electronic resource]

0
索取号：
作者：Wang、 Yingxu.、Zhang、 Du.、Kinsner、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Introduction to Insurance Mathematics [electronic resource] : Technical and Financial Features of Risk Transfers

0
索取号：
作者：Olivieri、 Annamaria.、Pitacco、 Ermanno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Models in the Manufacturing of Glass [electronic resource] : C.I.M.E. Summer School, Montecatini Terme, Italy 2008

0
索取号：
作者：Farina、 Angiolo.、Klar、 Axel.、Mattheij、 Robert M.M.、Mikeli麓c、 Andro.、Siedow、 Norbert.、Fasano、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II

0
索取号：
作者：Li、 Kang.、Li、 Xin.、Ma、 Shiwei.、Irwin、 George W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I

0
索取号：
作者：Li、 Kang.、Li、 Xin.、Ma、 Shiwei.、Irwin、 George W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

0
索取号：
作者：Cousot、 Radhia.、Martel、 Matthieu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings

0
索取号：
作者：Lynch、 Nancy A.、Shvartsman、 Alexander A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Computing in Science and Engineering '10 [electronic resource] : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010

0
索取号：
作者：Nagel、 Wolfgang E.、Kr枚ner、 Dietmar B.、Resch、 Michael M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II

0
索取号：
作者：Jiang、 Tianzi.、Navab、 Nassir.、Pluim、 Josien P. W.、Viergever、 Max A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III

0
索取号：
作者：Jiang、 Tianzi.、Navab、 Nassir.、Pluim、 Josien P. W.、Viergever、 Max A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2010 [electronic resource] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I

0
索取号：
作者：Jiang、 Tianzi.、Navab、 Nassir.、Pluim、 Josien P. W.、Viergever、 Max A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings

0
索取号：
作者：Ding、 Chen.、Shao、 Zhiyuan.、Zheng、 Ran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Systems, Software and Services Process Improvement [electronic resource] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

0
索取号：
作者：Riel、 Andreas.、O鈥機onnor、 Rory.、Tichkiewitch、 Serge.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Quantitative Logic and Soft Computing 2010 [electronic resource] : Volume 2

0
索取号：
作者：Cao、 Bing-yuan.、Wang、 Guo-jun.、Chen、 Shui-li.、Guo、 Si-zong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院